b:. Dec(b) 

latex

Up	bool 1, bool 1
Definitions	t  T, Dec(P), x:A. B(x), P  Q, Unit, , ff, tt, ,
Lemmas	bool wf, btrue wf, assert wf, not wf, assert of tt, bfalse wf, assert of ff